Moshe Y. Vardi - PDFSEARCH.IO - Document Search Engine

Moshe Y. Vardi
Results: 38

#	Item
11	From Philosophical to Industrial Logics⋆ Moshe Y. Vardi⋆⋆ Rice University, Department of Computer Science, Rice University, Houston, TX, U.S.A., Email: , URL:http://www.cs.rice.edu/∼va Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2009-01-14 10:48:26
12	Synthesis from Probabilistic Components∗ Yoad Lustig, Sumit Nain, and Moshe Y. Vardi Department of Computer Science Rice University, Houston, TX 77005, USA , , Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2011-09-05 15:41:01
13	Automata-Theoretic Model Checking Revisited ⋆ Moshe Y. Vardi ⋆⋆ Rice University, Department of Computer Science, Houston, TX, U.S.A. Email:, URL: http://www.cs.rice.edu/ ∼ vardi Abstr Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2011-05-17 18:01:09
14	BDD-Based Decision Procedures for the Modal Logic K 1 Guoqiang Pan* — Ulrike Sattler — Moshe Y. Vardi* * Department of Computer Science, Rice University, Houston, Texas, 77005, USA. Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2006-02-24 18:37:42
15	Trace Semantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX, USA Abstract Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2009-05-07 17:25:23
16	¨ Buchi Complementation and Size-Change Termination⋆ Seth Fogarty and Moshe Y. Vardi⋆⋆ Department of Computer Science, Rice University, Houston, TX {sfogarty,vardi}@cs.rice.edu Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2009-01-15 18:34:20
17	Synthesis from Recursive-Components Libraries∗ Yoad Lustig† Moshe Y. Vardi Rice University Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2011-05-14 21:11:11
18	Bran hing vs. Linear Time: Final Showdown Moshe Y. Vardi Ri e University Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-12-18 11:34:33
19	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Synthesis from Component Libraries Yoad Lustig and Moshe Y. Vardi⋆ Rice University, Department of Computer Science, Houston, TX 772 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-12-05 16:09:09
20	¨ Efficient Buchi Universality Checking ? Seth Fogarty and Moshe Y. Vardi Department of Computer Science, Rice University, Houston, TX {sfogarty,vardi}@cs.rice.edu Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2010-01-07 03:37:15